🎯 Proof Tactics

Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

Automated Test Generation with Custom Claude Commands: Architecting Scalable Testing for Modern Node.js Applications
dev.to·8h·
Discuss: DEV
🔍Concolic Testing
Balance between refactoring and inheritance in your code
github.com·17h·
Discuss: Hacker News
✅Format Verification
Bluffing in Scrabble
arxiv.org·1h
🎯Interactive Provers
Linkage
11011110.github.io·13h
📐Linear Algebra
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·1d·
Discuss: Hacker News, r/programming, r/rust
🧮Z3 Solver
The Risks of Code Assistant LLMs: Harmful Content, Misuse and Deception
unit42.paloaltonetworks.com·7h
⚡Proof Automation
Efficient Polynomial Identity Testing Over Nonassociative Algebras
arxiv.org·1h
🧮Algebraic Datatypes
What is Algebraic about Algebraic Effects?
interjectedfuture.com·13h
✨Algebraic Effects
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·20h
🔗Topological Sorting
How to Debug Chez Scheme Programs (2002)
scheme.com·8h·
Discuss: Hacker News
📜Proof Carrying Code
Greyscale-box test-driven development
blog.ploeh.dk·10h
🧪Property-Based Testing
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·11h·
Discuss: Hacker News
λLambda Encodings
Logic Engines: Building Smarter AI with State-Based Truth Tables by Arvind Sundararajan
dev.to·14h·
Discuss: DEV
🔧Hardware Verification
Analyzing Lisp Redux: One Form At a Time
funcall.blogspot.com·14h·
Discuss: www.blogger.com
🔗Lisp
LLM Enhancement with Domain Expert Mental Model to Reduce LLM Hallucination with Causal Prompt Engineering
arxiv.org·1h
💻Local LLMs
VulAgent: Hypothesis-Validation based Multi-Agent Vulnerability Detection
arxiv.org·1h
⚡Proof Automation
A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.com·16h·
Discuss: Hacker News
🔗Lisp
Productive AI Programming Using Forced Context Distillation
jx0.ca·16h·
Discuss: Hacker News
⚡Proof Automation
You can't test if quantum uses complex numbers
algassert.com·17h·
Discuss: Hacker News
🔐Quantum Security
An Interpretable Benchmark for Clickbait Detection and Tactic Attribution
arxiv.org·1h
⚖️Feed Ranking